"Roland Backhouse" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings (Lecture Notes in Computer Science)

Roland Backhouse, Jose Nuno Oliveira

Категория: Компьютеры

2.01 Mb

#2

Program Construction: Calculating Implementations from Specifications

Roland Backhouse

19.79 Mb

#3

Generic programming: advanced lectures

Roland Backhouse, Jeremy Gibbons

3.01 Mb

#4

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Roland Backhouse, Roy Crole, Jeremy Gibbons

Категория: Cs_Computer science, CsLn_Lecture notes

2.94 Mb

#5

Datatype-Generic Programming school, SSDGP 2006

Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring

Категория: Cs_Computer science, CsLn_Lecture notes

2.63 Mb

#6

Mathematics of Program Construction, 5 conf., MPC 2000

Roland Backhouse, Jose Nuno Oliveira

Категория: Cs_Computer science, CsLn_Lecture notes

1.88 Mb

#7

Program Construction: Calculating Implementations from Specifications

Roland Backhouse

Категория: eLearning_book, information_technologies

19.17 Mb

#8

Generic Programming: Advanced Lectures

Roland Backhouse, Jeremy Gibbons

3.88 Mb